Fix IA64 build

Signed-off-by: Alex Williamson <alex.williamson@hp.com>

diff --git a/xen/common/domctl.c b/xen/common/domctl.c
index db7d55d9beab14be314bd9b23d92ec9cd6d69cdd..09a1e84d98e06332382b1aa29da98c4303ee9e81 100644 (file)
--- a/xen/common/domctl.c
+++ b/xen/common/domctl.c
@@ -20,6 +20,7 @@
 #include <xen/rcupdate.h>
 #include <xen/guest_access.h>
 #include <xen/bitmap.h>
+#include <xen/paging.h>
 #include <asm/current.h>
 #include <public/domctl.h>
 #include <acm/acm_hooks.h>